Constraint logic programming - PDFSEARCH.IO - Document Search Engine

Constraint logic programming
Results: 401

#	Item
171	Syntactic integration of external languages in Prolog Jan Wielemaker1 and Nicos Angelopoulos2 1 Web and Media group, VU University Amsterdam, De Boelelaan 1081a, Add to Reading List Source URL: www.swi-prolog.org Language: English - Date: 2013-05-25 07:00:08 Constraint programming Prolog JSON Logic programming Programming language JavaScript SQL Operator Logtalk Computing Software engineering Computer programming
172	An overview of recent algorithms for AI planning Jussi Rintanen and J¨org Hoffmann Albert-Ludwigs-Universit¨at Freiburg, Institut f¨ur Informatik Georges-K¨ohler-Allee, 79110 Freiburg im Breisgau Germany Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-02-09 13:07:17 Logic in computer science Constraint programming Year of birth missing Heuristics Graphplan Action selection Planner Drew McDermott Logic programming Artificial intelligence Automated planning and scheduling Theoretical computer science
173	Decidability of Systems of Set Constraints with Negative Constraints Alexander Aikeny University of California, Berkeley Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-08-19 20:09:24 Artificial intelligence Decomposition method Constraint logic programming Constraint programming Boolean algebra Mathematics
174	Precise Garbage Collection in Prolog Jan Wielemaker1 and Ulrich Neumerkel2 1 Universiteit van Amsterdam, The Netherlands Add to Reading List Source URL: www.swi-prolog.org Language: English - Date: 2009-08-27 10:41:37 Constraint programming Prolog Logic programming ECLiPSe Garbage collection Env Unification Calling convention YAP Computing Software engineering Computer programming
175	Fluent Merging: A General Technique to Improve Reachability Heuristics and Factored Planning Menkes van den Briel Subbarao Kambhampati Add to Reading List Source URL: www.menkes76.com Language: English - Date: 2012-10-29 18:19:38 Fluent Constraint programming Algebra FO Variable Distributed constraint optimization Mathematics Theoretical computer science Logic in computer science
176	Abstract Model Counting: a novel approach for Quantification of Information Leaks Quoc-Sang Phan Pasquale Malacaria Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2015-04-10 18:09:41 Formal methods Electronic design automation Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Quicken Interchange Format Java Pathfinder Boolean satisfiability problem Theoretical computer science Mathematics Applied mathematics
177	Artificial Intelligence–150 Local search characteristics of incomplete SAT procedures ✩ Dale Schuurmans ∗ , Finnegan Southey Department of Computer Science, University of Waterloo, Waterloo, ON N2L Add to Reading List Source URL: webdocs.cs.ualberta.ca Language: English - Date: 2005-06-24 17:14:13 Applied mathematics Mathematics Boolean satisfiability problem Local search Constraint satisfaction WalkSAT Theoretical computer science Constraint programming Logic in computer science
178	Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT ? Alberto Griggio1 , Quoc-Sang Phan2 , Roberto Sebastiani2 and Silvia Tomasi2 Add to Reading List Source URL: disi.unitn.it Language: English - Date: 2011-10-12 05:34:03 Mathematics Logic in computer science NP-complete problems Electronic design automation Formal methods Satisfiability Modulo Theories WalkSAT Resolution Local search Theoretical computer science Constraint programming Applied mathematics
179	ORM 2 Constraint Verbalization: Part 1 Add to Reading List Source URL: www.orm.net Language: English - Date: 2006-07-30 13:54:40 Data modeling Programming paradigms Abstraction Object-Role Modeling Predicate Modal logic Norm Finitary relation Logic Mathematical logic Mathematics
180	Correctness Considerations in CLP(FD) Systems Dissertation submitted in partial fulfillment of the requirements for the degree of Doktor der technischen Wissenschaften by Add to Reading List Source URL: www.logic.at Language: English - Date: 2014-05-30 11:35:42 Computer programming Programming paradigms ECLiPSe Constraint logic programming CLP Prolog Local consistency Constraint satisfaction problem Logic programming Constraint programming Software engineering Declarative programming

UPDATE